Lockdown: Dynamic Control-Flow Integrity Mathias Payer Antonio Barresi Thomas R. Gross

Source URL: hexhive.github.io

• Computing
• Computer programming
• Software
• Software bugs
• Memory management
• Subroutines
• C++
• Computer security
• Control-flow integrity
• Return-oriented programming
• Pointer
• Binary translation

I Control Your Code Attack Vectors through the Eyes of Software-based Fault Isolation Mathias Payer () Department of Computer Science, ETH Zurich Abstract

Source URL: hexhive.github.io

• Computing
• Software bugs
• Software engineering
• Computer programming
• Buffer overflow
• Stack buffer overflow
• Stack
• Uncontrolled format string
• C dynamic memory allocation
• C standard library
• Pointer
• Integer overflow

SoK: Eternal War in Memory L´aszl´o Szekeres† , Mathias Payer‡ , Tao Wei∗‡ , Dawn Song‡ † Stony Brook University ‡ University of California, Berkeley ∗ Peking University

Source URL: hexhive.github.io

• Computing
• Software engineering
• Software bugs
• Computer programming
• Pointer
• Stack buffer overflow
• Address space layout randomization
• Buffer overflow
• Dangling pointer
• Memory safety
• C dynamic memory allocation
• Return-to-libc attack

USENIX Association Proceedings of the 10th USENIX Security Symposium Washington, D.C., USA

Source URL: www.usenix.org

• Computing
• Software engineering
• Computer programming
• Subroutines
• Software bugs
• C standard library
• Uncontrolled format string
• Printf format string
• C POSIX library
• C
• Variadic function
• Printf

Retrospective Protection utilizing Binary Rewriting Sergej Proskurin, Fatih Kilic, Claudia Eckert1 Abstract: Buffer overflow vulnerabilities present a common threat. To encounter this issue, operating system support and

Source URL: www.sec.in.tum.de

• Computing
• Software
• Software bugs
• Programming language implementation
• Subroutines
• Portable Executable
• Position-independent code
• Object file
• Dynamic linker
• Stack buffer overflow
• Buffer overflow
• Return-to-libc attack

UNIVERSITY OF CALIFORNIA Santa Barbara Automatic Detection and Repair of Input Validation and Sanitization Bugs A Dissertation submitted in partial satisfaction

Source URL: www.cs.ucsb.edu

• Software testing
• Pharmaceutical industry
• Validity
• Software verification
• Verification and validation
• Validation
• European Joint Conferences on Theory and Practice of Software
• Data validation
• Vulnerability

Curriculum Vitae Name: Current: Studies: Address:

Source URL: hmarco.org

• Computing
• Software
• Computer architecture
• Software bugs
• Computing platforms
• Address space layout randomization
• C standard library
• PaX
• Buffer overflow
• Stack buffer overflow
• Linux
• Android

Rx: Treating Bugs As Allergies— A Safe Method to Survive Software Failures Feng Qin, Joseph Tucek, Jagadeesan Sundaresan and Yuanyuan Zhou Department of Computer Science University of Illinois at Urbana Champaign

Source URL: www.cs.purdue.edu

SECURITY The Bugs We Have to Kill S E R G E Y B R AT U S , M E R E D I T H L . PAT T E R S O N , A N D A N N A S H U B I N A

Source URL: langsec.org

• Software engineering
• Software
• Computer programming
• Compiler construction
• Parsing
• Formal languages
• Parser combinator
• Syntax
• Computability
• Compiler-compiler
• Compiler
• Domain-specific language

風水 Heap Feng Shui in JavaScript Alexander Sotirov Introduction

Source URL: www.trailofbits.com

• Heap spraying
• Heap overflow
• Shellcode
• C++
• Heap feng shui
• Alexander Sotirov
• C dynamic memory allocation
• Heap
• Software bugs
• JavaScript
• NOP slide
• Buffer overflow